Predicate logic

Results: 1102



#Item
821Mathematical logic / Models of computation / ISO standards / Object Constraint Language / Logic in computer science / ECO / Denotational semantics / Lambda calculus / Predicate / Mathematics / Logic / Unified Modeling Language

Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡

Add to Reading List

Source URL: www.brucker.ch

Language: English - Date: 2014-01-16 16:42:44
822Science / Abstraction / Predicate logic / Model theory / Philosophical logic / Quantification / Predicate / Interpretation / Semantics / Logic / Linguistics

To appear in Proceedings of Sinn und Bedeutung 18. Explaining leftward focus association with even but not only∗ Michael Yoshitaka ERLEWINE — Massachusetts Institute of Technology Abstract. The ability of English V

Add to Reading List

Source URL: mitcho.com

Language: English - Date: 2014-02-07 12:04:41
823Semantics / Ontology / Epistemology / Predicate logic / Mathematical logic / Interpretation / Philosophy of mathematics / Truth / Nominalism / Logic / Philosophy / Mathematics

MATHEMATICS: A MINIMAL INTRODUCTION (UPDATES) 1. Errata • p. xiii, line 20: instead of “Metalanguage” read “English”. • p. 198, line −10: instead of “vM (x ∈ y)” read “vM (y(x)).” • p. 198, line

Add to Reading List

Source URL: www.math.unm.edu

Language: English - Date: 2014-01-30 14:32:58
824Elementary mathematics / Abstract algebra / Predicate logic / Functions and mappings / Function / Arity / Operation / Predicate / SQL / Mathematics / Logic / Mathematical logic

Elements of Programming Transformations and their orbits Alexander Stepanov Paul McJones

Add to Reading List

Source URL: www.stepanovpapers.com

Language: English - Date: 2010-05-21 22:15:08
825Semantics / Proof theory / Quantification / Propositional calculus / First-order logic / Interpretation / Intuitionistic logic / Well-formed formula / Atomic formula / Logic / Mathematical logic / Predicate logic

Anti-Realist Classical Logic and Realist Mathematics  Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009

Add to Reading List

Source URL: www.consequently.org

Language: English - Date: 2009-10-13 01:54:21
826Predicate / First-order logic / Interpretation / Proposition / Universal quantification / Function / Quantification / Atomic formula / Sentence / Logic / Mathematical logic / Predicate logic

Chapter 4 The World According to Predicate Logic Overview At this stage of our course, you already know propositional logic, the system for reasoning with sentence combination, which forms the basic top-level structure o

Add to Reading List

Source URL: www.logicinaction.org

Language: English - Date: 2013-07-04 05:13:04
827Propositional calculus / Predicate logic / Quantification / Function / First-order logic / Proposition / Universal quantification / Predicate / Existential quantification / Logic / Mathematical logic / Mathematics

Part Two: The Predicate Calculus 5

Add to Reading List

Source URL: lawandlogic.files.wordpress.com

Language: English - Date: 2012-10-07 12:08:38
828Semantics / Predicate logic / Interpretation / First-order logic / Non-logical symbol / Predicate / Finitary relation / Tautology / Quantification / Logic / Mathematical logic / Propositional calculus

6 The Semantics of the Predicate Calculus 1. The Rudiments of Set Theory In the propositional calculus interpretations were defined to be assignments of truth values to sentential letters. We then defined a valid

Add to Reading List

Source URL: lawandlogic.files.wordpress.com

Language: English - Date: 2012-10-07 12:08:38
829Predicate logic / Logical syntax / Model theory / First-order logic / Linear logic / Finitary / Calculus of structures / Modal logic / Mereology / Logic / Mathematical logic / Non-classical logic

Microsoft Word - AG3-FinitaryCut

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2008-11-02 06:24:07
830Formal methods / Logic in computer science / Thought / Algorithm / Mathematical logic / Model checking / Satisfiability Modulo Theories / Abstraction / Predicate abstraction / Mathematics / Theoretical computer science / Applied mathematics

Algorithms for Software Model Checking: Predicate Abstraction vs. I MPACT Dirk Beyer Philipp Wendler

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2013-10-11 07:00:05
UPDATE